-
1 type system
-
2 typing system
Англо-русский словарь нефтегазовой промышленности > typing system
-
3 typing system
-
4 typing system
English-Russian dictionary of terms that are used in computer games > typing system
-
5 typing system
-
6 type system
система типовСистема типов и операций над объектами этих типов. Проверка типа позволяет убедиться в том, что затребованная операция над данными типами допустима. Скажем, функцию необходимо вызывать с аргументами подходящих типов. -
7 typing system
-
8 typing system
English-Russian dictionary of Information technology > typing system
-
9 type system
система типов [данных]Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > type system
-
10 type system
Программирование: система типов (Система типов и операций над объектами этих типов. Проверка типа позволяет убедиться в том, что затребованная операция над данными типами допустима. Скажем, функцию необходимо вызывать с аргументами подходящих типов) -
11 nominative type system
в программировании - основной вид системы типов, в которой совместимость и эквивалентность типов определяется явными объявлениями и/или именами типов. Номинативные системы позволяют определить, являются ли типы эквивалентными, а также является ли данный тип подтипом другого типа, - в отличие от структурных систем, где сравнения базируются на структуре рассматриваемых типов и не требуют явных объявлений типовАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > nominative type system
-
12 type checking
1) Компьютерная техника: контроль типов2) Вычислительная техника: проверка типов3) Нефть: контроль соответствия типов4) Программирование: контроль (соответствия) типов, проверка типа (система типов) -
13 XML Schema
язык определения схемы XML
Стандарт W3C языка определения схемы для XML-документов. Наиболее важные возможности XML Schema, по сравнению с предоставляемыми DTD, заключаются во введении более развитой совокупности типов значений атрибутов элементов XML-документов, в допущении наряду с закрытой моделью спецификаций DTD также и открытой модели, при которой пользователь может дополнять повторно используемую схему новыми спецификациями. Проект стандарта XML Schema состоит из трех частей. Часть 0 представляет собой учебник по спецификациям XML Schema. В первой части определяются классы, необходимые для описания XML-документов. В этом документе представлены концептуальные основы стандарта. Неформально описывается абстрактная модель данных, определяются ее основные элементы компоненты схемы. В их терминах могут определяться конкретные XML-схемы. Далее в этой части стандарта приводятся детальные спецификации компонентов схемы. Во второй части стандарта определяется система типов для декларации схем. Эти спецификации расширяют возможности определения типов данных в языке XML.
[ http://www.morepc.ru/dict/]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > XML Schema
-
14 XML Schema Definition Language
язык определения схемы XML
Стандарт W3C языка определения схемы для XML-документов. Наиболее важные возможности XML Schema, по сравнению с предоставляемыми DTD, заключаются во введении более развитой совокупности типов значений атрибутов элементов XML-документов, в допущении наряду с закрытой моделью спецификаций DTD также и открытой модели, при которой пользователь может дополнять повторно используемую схему новыми спецификациями. Проект стандарта XML Schema состоит из трех частей. Часть 0 представляет собой учебник по спецификациям XML Schema. В первой части определяются классы, необходимые для описания XML-документов. В этом документе представлены концептуальные основы стандарта. Неформально описывается абстрактная модель данных, определяются ее основные элементы компоненты схемы. В их терминах могут определяться конкретные XML-схемы. Далее в этой части стандарта приводятся детальные спецификации компонентов схемы. Во второй части стандарта определяется система типов для декларации схем. Эти спецификации расширяют возможности определения типов данных в языке XML.
[ http://www.morepc.ru/dict/]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > XML Schema Definition Language
-
15 pendant-mounted cnc system
English-Russian big polytechnic dictionary > pendant-mounted cnc system
-
16 fountain-type inking system
English-Russian big polytechnic dictionary > fountain-type inking system
-
17 type safety
Программирование: безопасность типов (система типов) -
18 type safety
безопасность типовСм. система типов (type system). -
19 strong typing
-
20 software object type system
Программирование: система типов программных объектовУниверсальный англо-русский словарь > software object type system
См. также в других словарях:
СИСТЕМА ТИПОВ РАСТИТЕЛЬНОСТИ — см. система пангрегаций … Словарь ботанических терминов
СИСТЕМА — (от греч. целое, составленное из частей; соединение), совокупность элементов, находящихся в отношениях и связях друг с другом, которая образует определ. целостность, единство. Претерпев длит. историч. эволюцию, понятие С. с сер. 20 в.… … Философская энциклопедия
ТИПОВ ТЕОРИЯ — система расширенного предикатов исчисления или аксиоматич. теории множеств, включающая переменные различных типов (сортов, ступеней, порядков). Различные системы Т. т. были предложены (впервые – Б. Расселом в 1908) в качестве одной из… … Философская энциклопедия
система нервная: тип — (тип нервной системы; тип высшей нервной деятельности) совокупность свойств системы нервной, составляющих физиологическую основу индивидуального своеобразия деятельности человека и поведения животных. Понятие о них ввел И. П. Павлов.… … Большая психологическая энциклопедия
Система управления цветом — система программ, методов, преобразователей и измерительных приборов, использующая профиль одних устройств для корректного преобразования (с оптимизаций по критерию минимальные потери ) в цветовые пространства др. устройств. Если калибровка… … Реклама и полиграфия
Система Периметр — Система «Периметр»[1] (Индекс УРВ РВСН 15Э601) комплекс автоматического управления массированным ответным ядерным ударом, созданный в СССР в разгар холодной войны. Предназначен для гарантированного доведения боевых приказов от высших… … Википедия
Система обнаружения вторжений — (СОВ) программное или аппаратное средство, предназначенное для выявления фактов неавторизованного доступа в компьютерную систему или сеть либо несанкционированного управления ими в основном через Интернет. Соответствующий английский… … Википедия
Типов теория (в логике) — Типов теория в логике, система расширенного исчисления предикатов или аксиоматической теории множеств, включающая переменные различных «типов» (сортов, ступеней, порядков). Формальные объекты этой теории, согласно системе Рассела Уайтхеда,… … Большая советская энциклопедия
Система автоматизированного проектирования — Система автоматизированного проектирования автоматизированная система, реализующая информационную технологию выполнения функций проектирования[1], представляет собой организационно техническую систему, предназначенную для автоматизации… … Википедия
Система управления складом — (сокр. от англ. Warehouse Management System система управления складом) система управления, обеспечивающая автоматизацию и оптимизацию всех процессов складской работы профильного предприятия. Содержание … Википедия
СИСТЕМА ОРГАНИЗМОВ — Мир живых существ насчитывает не менее 2 млн. видов. Всё это многообразие организмов, изучает систематика. Совр. систематика стремится к созданию эволюционной, или филогенетической, С. о., разрабатываемой на всех таксономич. уровнях, от видового… … Биологический энциклопедический словарь